A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK LINDA BROWN WESTRICK Abstract. We examine the computable part of the differentiability hierarchy defined by Kechris and Woodin. In that hierarchy, the rank of a differen

Source URL: www.math.uconn.edu

• Ordinal numbers
• Proof theory
• Computability theory
• Mathematical notation
• Ordinal notation
• Continuous function
• Constructible universe
• Limit of a function
• Symbol
• NC
• Computable number
• Fast-growing hierarchy

RAMSEY’S THEOREM FOR SINGLETONS AND STRONG COMPUTABLE REDUCIBILITY DAMIR D. DZHAFAROV, LUDOVIC PATEY, REED SOLOMON, AND LINDA BROWN WESTRICK Abstract. We answer a question posed by Hirschfeldt and Jockusch by showing

Source URL: ludovicpatey.com

• Mathematics
• Mathematical analysis
• Differential forms
• Constructible universe
• Closed and exact differential forms
• Computability theory
• Combinatory logic
• Ordinal number
• Differential forms on a Riemann surface
• Banach fixed-point theorem

Ramsey-type graph coloring and diagonal non-computability Ludovic Patey Abstract A function is diagonally non-computable (d.n.c.) if it diagonalizes against the universal partial computable function. D.n.c. functions pla

Source URL: ludovicpatey.com

• Computability theory
• Theory of computation
• Mathematics
• Theoretical computer science
• Mathematical analysis
• Computable function
• Sigma-algebra
• Generalised Whitehead product

Topics in the Theory and Practice of Computable Analysis Branimir Lambov PhD Dissertation

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Theory of computation
• Computable number
• Computable analysis
• Mathematical analysis
• Mathematical logic
• Function
• Computable function
• Hypercomputation

A Global General Equilibrium Model with US State-Level Detail for Trade and Environmental Policy Analysis—Technical Notes Justin Caron and Sebastian Rausch Technical Note No.13

Source URL: globalchange.mit.edu

• Econometrics
• Production economics
• International trade
• Computable general equilibrium
• Constant elasticity of substitution
• GTAP
• Elasticity
• Economics
• Tariff
• Labour economics
• Economic data
• Index of economics articles

˝ DOMINATING THE ERDOS-MOSER THEOREM IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. The Erd˝

Source URL: ludovicpatey.com

• Mathematical analysis
• Mathematics
• Measure theory
• Computability theory
• Computable function
• Theory of computation
• Probability theory
• Differential forms
• Relationships among probability distributions
• Sigma-algebra

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.monad.me.uk

Reducibility in polynomialtime computable analysis Akitoshi Kawamura (U Tokyo) Wadern, Germany, September 24, 2015 Computable Analysis Applying

Source URL: www.graco.c.u-tokyo.ac.jp

Improvements of Basic TTE Klaus Weihrauch July 5, 2011 More than ten years have passed since my book Computable Analysis [3] has appeared in print. Meanwhile the representation approach, TTE, has been used to study compu

Source URL: www.fernuni-hagen.de

Critical Analysis of Economic Impact Methodologies By Ken Meter and Megan Phillips Goldenberg A Selection from Exploring Economic and Health Impacts of Local Food Procurement

Source URL: www.crcworks.org

• Production economics
• National accounts
• Regional science
• Economic planning
• Keynesian economics
• MIG
• Inc.
• Economic impact analysis
• Inputoutput model
• Computable general equilibrium
• Economics
• Productivity
• Economic model